Nominalism and conceptualism as predicative second-order theories of predication.
نویسندگان
چکیده
منابع مشابه
Second-order algebraic theories
Fiore and Hur [10] recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work completes the foundations of the subject from the vie...
متن کاملTwo Theories of Analogical Predication∗
How can we, poor, finite beings that we are, speak of an infinite God? Thomas Aquinas formulates a well-known answer: we predicate things of God analogically. But the doctrine of analogical predication, long influential in both Catholic and Protestant thought, has fallen on hard times. Its advocates have been accused of circularity, begging the question, and simply being uninformative. (“God’s ...
متن کاملFunctorial Semantics of Second-Order Algebraic Theories
The purpose of this work is to complete the algebraic foundations of second-order languages from the viewpoint of categorical algebra as developed by Lawvere. To this end, this paper introduces the notion of second-order algebraic theory and develops its basic theory. A crucial role in the definition is played by the second-order theory of equality M, representing the most elementary operators ...
متن کاملConceptual Realism and the Nexus of Predication
The nexus of predication is accounted for in di¤erent ways in di¤erent theories of universals. We briey review the account given in nominalism, logical realism (modern Platonism), and natural realism. Our main goal is to describe the account given in a modern form of conceptualism extended to include a theory of intensional objects as the contents of our predicable and referential concepts.
متن کاملClassical Predicative Logic-Enriched Type Theories
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT ∗ 0, which we claim correspond closely to the classical predicative systems of second order arithmetic ACA0 and ACA. We justify this claim by translating each second-order system into the corresponding LTT, and proving that these...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1980
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093883172